全文获取类型
收费全文 | 670篇 |
免费 | 94篇 |
国内免费 | 57篇 |
学科分类
工业技术 | 821篇 |
出版年
2024年 | 4篇 |
2023年 | 5篇 |
2022年 | 10篇 |
2021年 | 7篇 |
2020年 | 4篇 |
2019年 | 4篇 |
2018年 | 4篇 |
2017年 | 20篇 |
2016年 | 14篇 |
2015年 | 21篇 |
2014年 | 34篇 |
2013年 | 37篇 |
2012年 | 33篇 |
2011年 | 47篇 |
2010年 | 39篇 |
2009年 | 48篇 |
2008年 | 52篇 |
2007年 | 63篇 |
2006年 | 40篇 |
2005年 | 50篇 |
2004年 | 42篇 |
2003年 | 29篇 |
2002年 | 30篇 |
2001年 | 22篇 |
2000年 | 20篇 |
1999年 | 17篇 |
1998年 | 11篇 |
1997年 | 16篇 |
1996年 | 7篇 |
1995年 | 17篇 |
1994年 | 14篇 |
1993年 | 15篇 |
1992年 | 9篇 |
1991年 | 7篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1985年 | 2篇 |
1984年 | 1篇 |
1981年 | 2篇 |
1980年 | 2篇 |
1979年 | 3篇 |
1977年 | 1篇 |
1976年 | 2篇 |
1974年 | 1篇 |
1973年 | 2篇 |
1972年 | 1篇 |
1955年 | 1篇 |
1954年 | 1篇 |
排序方式: 共有821条查询结果,搜索用时 93 毫秒
91.
Jia Zeng Chuck Mitchell Stephen A. Edwards 《Electronic Notes in Theoretical Computer Science》2006,164(2):103-119
Dataflow analysis is a well-understood and very powerful technique for analyzing programs as part of the compilation process. Virtually all compilers use some sort of dataflow analysis as part of their optimization phase. However, despite being well-understood theoretically, such analyses are often difficult to code, making it difficult to quickly experiment with variants.To address this, we developed a domain-specific language, Analyzer Generator (AG), that synthesizes dataflow analysis phases for Microsoft's Phoenix compiler framework. AG hides the fussy details needed to make analyses modular, yet generates code that is as efficient as the hand-coded equivalent. One key construct we introduce allows IR object classes to be extended without recompiling.Experimental results on three analyses show that AG code can be one-tenth the size of the equivalent handwritten C++ code with no loss of performance. It is our hope that AG will make developing new dataflow analyses much easier. 相似文献
92.
APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations 总被引:3,自引:0,他引:3
Shuvra S. Bhattacharyya Praveen K. Murthy Edward A. Lee 《Design Automation for Embedded Systems》1997,2(1):33-60
Dataflow has proven to be an attractive computational model for graphical DSP design environments that support the automatic conversion of hierarchical signal flow diagrams into implementations on programmable processors. The synchronous dataflow (SDF) model is particularly well-suited to dataflow-based graphical programming because its restricted semantics offer strong formal properties and significant compile-time predictability, while capturing the behavior of a large class of important signal processing applications. When synthesizing software for embedded signal processing applications, critical constraints arise due to the limited amounts of memory. In this paper, we propose a solution to the problem of jointly optimizing the code and data size when converting SDF programs into software implementations.We consider two approaches. The first is a customization to acyclic graphs of a bottom-up technique, called pairwise grouping of adjacent nodes (PGAN), that was proposed earlier for general SDF graphs. We show that our customization to acyclic graphs significantly reduces the complexity of the general PGAN algorithm, and we present a formal study of our modified PGAN technique that rigorously establishes its optimality for a certain class of applications. The second approach that we consider is a top-down technique, based on a generalized minimum-cut operation, that was introduced recently in [14]. We present the results of an extensive experimental investigation on the performance of our modified PGAN technique and the top-down approach and on the trade-offs between them. Based on these results, we conclude that these two techniques complement each other, and thus, they should both be incorporated into SDF-based software implementation environments in which the minimization of memory requirements is important. We have implemented these algorithms in the Ptolemy software environment [5] at UC Berkeley. 相似文献
93.
94.
欧共体承压设备指令(97/23/EC)简介 总被引:2,自引:1,他引:1
简要介绍欧共体承压设备指令(97/23/EC简称PED)CE标志认证的主要内容及企业执行认证需要完成的主要工作。 相似文献
95.
Usually, key‐establishment protocols are suggested in a security model. However, there exist several different security models in the literature defined by their respective security notions. In this paper, we study the relations between the security models of key establishment. For the chosen security models, we first show that some proven key‐establishment protocols are not secure in the more restricted security models. We then suggest two compilers by which we can convert a key‐establishment protocol that is secure in a specific security model into a key‐establishment protocol that is still secure in a more restricted security model. 相似文献
96.
Paul Curzon 《Formal Methods in System Design》1993,3(1-2):83-115
When developing safety-critical software, it is the correctness of the object code that is paramount. However, it is desirable to perform formal verification on the source program. To ensure that correctness results proved about the source program do apply to the object code, the compiler used can be formally verified. However, care must be taken to ensure that the compiler correctness theorem proved is suitable. We have combined a derived programming logic with a verified compiler for a generic subset of the Vista structured assembly language. We show how correctness properties of object code can be formally derived from corresponding correctness properties of the source program which have been proved using the programming logic. Thus we can be sure the results do apply to the object code. The work described has been performed using the HOL system and so is machine-checked. 相似文献
97.
Panagiotis I. Dallas Dr. Fotini-Niovi Pavlidou 《International Journal of Wireless Information Networks》1996,3(3):163-172
DS/CDMA noncoherentM-ary orthogonal signaling is presented in a hexagonal cell with three and six corner-based antennas. Multipath Rayleigh channel
with lognormal shadowing and perfect power control are assumed. The asynchronous case (uplink) is studied. Bit error rate
analysis is carried out to investigate the benefits of combining theM-ary orthogonal signaling and macrodiversity techniques either with uncorrelated or correlated base stations. Comparative
analysis between the one central antenna arrangement and the proposed one is presented. The results show that the combination
ofM-ary signaling with multiple corner-based antennas improves system performance especially in terms of accommodating more users
and supporting new services. The results also show that shadowing does not degrade system performance significantly. 相似文献
98.
研究了龙门式电火花线切割译码仿真程序,构架了程序框架。对编译模块进行了细分,对仿真模块的层次结构及核心技术的实现做了详细介绍。介绍了二维工件、三维工件刀补的过程。 相似文献
99.
The potential for new, small-scale and micro-cogeneration installations in Portugal is very considerable due to the number of potential host buildings. In this work, we discuss the legal framework of the Portuguese energy market, and some modifications to accommodate the Directive, 2004/8/EC are stressed. A practical case of cogeneration is also presented, showing the application of the Annex III (b) and (c) of the Cogeneration Directive. The practical case presented shows that micro CHP can be considered highly efficient, with parameters calculated with the Directive rules. Two main improvements in Portugal's energy policy are important: improvement on the permission to access grid system and improvement on support mechanisms indexing it to PES. The Cogeneration Directive transposition is an excellent opportunity to induce a less restrictive framework for the installation of new cogeneration systems, reducing the technological barriers, namely allowing medium-voltage connection with the grid, and improving the revenues provided from these small cogeneration systems. These modifications can improve significantly the number of potential hosts for small-scale cogeneration systems. 相似文献
100.
C语言优化编译器是借助于微机上的Intel80386C语言编译器为研制平台,采用交叉编译的方法设计实现的,它是我国自行设计的第一个从底层开发实现的巨型机C语言编译器。本文首先给出了YH-2C语言优化编译器的设计原理,然后详细介绍了其主要系统组成和技术特点,最后指出了我们以后进一步要做的工作 相似文献